00100	<PC> ::= <C1><PCL>=>[(CONS(QUOTE THAND)(PCBODY(STK0)(STK1)))]
00200		::=<C1>=>*
00300	<C1> ::= <C>; =>*
00400	
00500	<C> ::= <PRED> <CL> =>[(CONS(APPEND(CONS(QUOTE THOR)(CONS(CAR(STK1))
00600	 (STK0)))(QUOTE ((FOO))))(LIST NIL))]
00700	::= <PRED> => *
00800	::= (<PC>)=>*
00900	
01000	<PCL> ::= <C1><PCL> =>[(PCBODY(STK0)(STK1))]
01100		::= <C1> =>*
01200	<CL> ::= <PRED> <CL> =>[(CONS(CAR(STK1))(STK0))]
01300		::= <PRED> =>[(LIST(CAR(STK0)))]
01400		::= (<PC>) =>(PC)
01500	
01600	<PRED> ::= <ID> => [(LIST(LIST(STK0) 1)(LIST(STK0)2)(LIST(STK0) 3))]
01700	END